منابع مشابه
Semimodule Enrichment
A category with biproducts is enriched over (commutative) additive monoids. A category with tensor products is enriched over scalar multiplication actions. A symmetric monoidal category with biproducts is enriched over semimodules. We show that these extensions of enrichment (e.g. from hom-sets to homsemimodules) are functorial, and use them to make precise the intuition that “compact objects a...
متن کاملSemiring and semimodule issues in MV-algebras
In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings established in [11] and improved in [4] — such an approach naturally imposing the introduction and study of a suitable corresponding class of semimodules, called MV-semimodules. Besides some basic yet fundamental results of more general interest for semiri...
متن کاملLinear Equational Theories and Semimodule Representations
Equational theories of some linear equations are studied. As a consequence, semimodule representations of the corresponding algebras are obtained. Examples are shown on medial and paramedial equations and some of their general-
متن کاملOne Digital Signature Scheme in Semimodule over Semiring
A modernization of signature scheme published in (Sakalauskas, 2004) is presented. This scheme differs from the prototype by its structure and uses a more general algebraic systems. It has a higher security and shorter key length and is also more computationally effective. The introduced new algebraic structures, semiring and semimodule, are mutually compatible algebraic systems. The semiring i...
متن کاملContinuous Semiring-Semimodule Pairs and Mixed Algebraic Systems
We associate with every commutative continuous semiring S and alphabet Σ a category whose objects are all sets and a morphism X → Y is determined by a function from X into the semiring of formal series S⟪(Y ⊎Σ) ⟫ of finite words over Y ⊎Σ, an X × Y -matrix over S⟪(Y ⊎Σ) ⟫, and a function from X into the continuous S⟪(Y ⊎Σ) ⟫-semimodule S⟪(Y ⊎Σ) ⟫ of series of ωwords over Y ⊎Σ. When S is also an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2008
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.10.012